8

Setting the agenda of attributes in the 1996 Spanish general election

Year:
2000
Language:
english
File:
PDF, 126 KB
english, 2000
12

Infinitary Logic and Admissible Setsby Jon Barwise

Year:
1971
Language:
english
File:
PDF, 382 KB
english, 1971
15

König's lemma, the ω-Rule and primitive recursive arithmetic

Year:
1985
Language:
english
File:
PDF, 389 KB
english, 1985
31

Equivalence between semantics for intuitionism. I

Year:
1981
Language:
english
File:
PDF, 623 KB
english, 1981
38

Remarks on the Church-Rosser Property

Year:
1990
Language:
english
File:
PDF, 458 KB
english, 1990
41

Variations on A System Of Gentzen

Year:
1981
Language:
english
File:
PDF, 230 KB
english, 1981
45

Circumscription within Monotonic Inferences

Year:
1988
Language:
english
File:
PDF, 330 KB
english, 1988